ClauLex[3]